PMAN4
SEL@KIT
著者: 金 浩 / Hao Jin
  • 研究期間: 2017 - 2018
  • 総文献数: 2
年別の文献数
  • プレプリント
  • 著書
  • 翻訳
  • 学術論文誌(査読付)
  • 国際会議(査読付)
  • 国際会議 (Journal First)
  • 国内会議(査読付)
  • 記事
  • テクニカルレポート
  • 研究会・全国大会等
  • 学位論文
  • 講演等
  • 受賞
  • 特許
カテゴリ別の文献数
研究キーワード
responsivenessanalysisfault-tolerantmultiprocessorapplicationprotocolsynthesistechniqueresolutionserviceinteractionproblemarraysconstrainedgenerationlocatingsmtsolverapproachsatisfiability-based
文献一覧
2018
国際会議(査読付)

[1] Hao Jin, Takashi Kitamura, Eun-Hye Choi, and Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays", Proc. of IEEE International Software Testing Verification and Validation Workshop (ICSTW) - 7th Workshop on Combinatorial Testing (IWCT 2018), pp. 285-294, April 2018.

2017
研究会・全国大会等

[1] 金 浩, 崔 銀惠, 土屋 達弘, "SMTを用いた制約付きロケーティングアレイの生成について", 信学技報, pp. 55-60, 2017年10月.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．